module: ftLTL
name: Future Time Linear Temporal Logic
Description:
Past time Linear Temporal Logic (ptLTL) is a logic
for specifying properties of reactive and concurrent systems. ptLTL
provides temporal operators that refer to the past states
of an execution trace relative to a current point of
reference. The logic plugin here is based on an rewriting-based algorithm for
generating an optimized monitoring program from an ptLTL formula.
::
